A Formal Semantics for UML Activity Diagrams ~ Formalising Workflow Models
نویسندگان
چکیده
In this report we define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our workflow models express software requirements and therefore assume a perfect implementation. In our semantics, software state changes do not take time. It is based upon the Statemate semantics of statecharts, extended with some transactional properties to deal with data manipulation. Our semantics also deals with real time and with multiple state instances. We first give an informal description of our semantics and then formalise this in terms of labelled transition systems. We compare our semantics with other semantics for UML activity diagrams and workflow modelling by analysing the different choices made in those semantics.
منابع مشابه
Formalising UML Activity Diagrams using Finite State Processes
Among the set of diagrams of UML used to express dynamic aspects of systems, the Activity Diagram (AD) is the only one that deals with Business Processes (BP) and workflows. However, the lack of a well-defined semantics leaves the notation open to many interpretations. In this paper we provide a simple semantics by formalising the UML Activity Diagram using finite state processes (FSP). A given...
متن کاملA Comparison of Petri Net and Activity Diagram Variants
Petri net variants are widely used as a workflow modelling technique. Recently, UML activity diagrams are used for the same purpose, even though the syntax and semantics of activity diagrams has not been yet fully worked out. Nevertheless, activity diagrams seem very similar to Petri nets and on the surface, one may think that they are variants of each other. To substantiate this claim, we need...
متن کاملComparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets
Petri net variants are widely used as a workflow modelling technique. Recently, UML activity diagrams have been used for the same purpose, even though the syntax and semantics of activity diagrams has not been yet fully worked out. Nevertheless, activity diagrams seem very similar to Petri nets and on the surface, one may think that they are variants of each other. To substantiate or deny this ...
متن کاملA Formal Semantics for Checking and Analysing UML models
The Unified Modelling Language (UML) is becoming a global standard diagrammatic notation for expressing and describing object-oriented models. Recently, the Object Constraint Language (OCL) has been proposed as a standard expression language for expressing additional constraints on UML models, which are not conveniently expressible in a diagrammatic form. In this paper we provide an approach fo...
متن کاملSemantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S
Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis and execution of workflows in the Clinical Pathways. We present a semantic web-based approach where the domain knowledge and the workflow model are modeled separately as ontologies, while the Clinical Pathway and the asso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001